theorems on functions of bounded variation